Sound and Complete Flow Typing with Unions, Intersections and Negations David J. Pearce Victoria University of Wellington Wellington, New Zealand {djp}@ecs.vuw.ac.nz

Source URL: homepages.ecs.vuw.ac.nz

• Type theory
• Data types
• Functional languages
• Object-oriented programming
• Type systems
• Subtyping
• Whiley
• OCaml
• ALGOL 68
• Type conversion
• Const
• ML

Tracking Non-point Fecal Pollution in the Guadalupe River: Distinguishing Urban and Rural Influences upon Water Quality Matthew Boyett University of Houston - Victoria Dmitri Sobolev, Assistant Professor

Source URL: texasbst.tamu.edu

Island Studies Journal, Vol. 4, No. 2, 2009, ppRecontinentalizing Canada: Arctic Ice’s Liquid Modernity and the Imagining of a Canadian Archipelago Phillip Vannini Royal Roads University, Victoria BC, Canada

Source URL: www.islandstudies.ca

VISSOFT 2003 Wrap-Up… Margaret-Anne Storey, University of Victoria Comparison with last year • Less of a focus on showing a system and

Source URL: keg.cs.uvic.ca

Tools,  Techniques,  and  Culture  of  the  Digital  Humanities   Humanities  150,  University  of  Victoria,  Winter  2011  (CRN:  12330)   Tuesdays:  14:30  –

Source URL: jenteryteaches.com

Exploring Cognitivist and Emotivist Positions of Musical Emotion Using Neural Network Models Naresh N. Vempala () Department of Psychology, Ryerson University, 350 Victoria Street Toronto, ON, M5

Source URL: www.wavedna.com

Efficient Object Querying for Java Darren Willis, David J. Pearce and James Noble Computer Science, Victoria University of Wellington, NZ, {darren,djp,kjx}@mcs.vuw.ac.nz Abstract. Modern programming languages have littl

Source URL: homepages.ecs.vuw.ac.nz

A tour of ideas behind restriction and related semigroups York, Autumn 2011 Victoria Gould University of York

Source URL: www-users.york.ac.uk

• Algebra
• Abstract algebra
• Mathematics
• Semigroup theory
• Algebraic structures
• Semigroup
• Inverse element
• Special classes of semigroups
• Inverse semigroup
• Semigroup with involution
• Cover
• Monoid

Tabling in Mercury: Design and Implementation Zoltan Somogyi1 and Konstantinos Sagonas2 1 NICTA Victoria Laboratory, Department of Computer Science and Software Engineering, University of Melbourne, Australia

Source URL: user.it.uu.se

THE VALUE OF REDUNDANT MEASUREMENT IN COMPRESSED SENSING Victoria Kostina,p Marco F. Duarte,d , Sina Jafarpourp, Robert Calderbank,p,d p Princeton University, Princeton, NJd

Source URL: vkostina.caltech.edu